TSTP Solutions to: LCL606^1